transition relation（状态）转移关系：在数学、逻辑与计算机科学中，用来描述系统从一个状态到另一个状态如何发生变化的关系，常写作 \( \rightarrow \) 或 \(R\subseteq S\times S\)。在“转移系统/自动机/模型检测”等语境里，它规定“哪些下一步是允许的”。
/trnzn rlen/
A transition relation tells you which state can follow another.
转移关系告诉你某个状态之后可以到达哪些状态。
In model checking, the transition relation defines all possible next steps of the system under every action.
在模型检测中，转移关系定义了系统在各种动作下所有可能的下一步演化。
transition 来自拉丁语 *trans-*（“穿过、跨越”）+ itio（“行走、前进”），引申为“从一种状态走到另一种状态的变化”。relation 来自拉丁语 relatio（“联系、关联”）。合起来，transition relatin 字面意思就是“关于状态变化的关联/规则”。
Select Language